Mapping SPEM Process Specifications to Activity Cycle Diagrams

Mapping Object Diagrams into B Specifications

In this paper we study the combination of object-oriented and formal methods and more specifically the mapping of object models, that are used in business information system development methods, into the formal specification language of the B method. We retain as the starting point of our study a common core of object concepts accepted by most of the groups: object, entity, association, is-a li...

Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Business analysts and domain experts are often sketching the behaviors of a software system using high-level models that are technologyand platform-independent. The developers will refine and enrich these high-level models with technical details. As a consequence, the refined models can deviate from the original models over time, especially when the two kinds of models evolve independently. In ...

SPEM Description of ADELFE Process

Mapping Specifications to Design

M ost software engineering books are written as textbooks. Geared at hapless students who typically don’t have a say in the course content, they often stray toward dry lists of term definitions and methodologies. Code Craft: The Practice of Writing Excellent Code claims to be “a survival guide for the software factory.” Indeed it is, but it’s also a brilliant software engineering book. Software...

Towards a Rigorous Process Modeling with SPEM

Modeling software process is a good way to improve development and thus quality of resulting applications. The OMG proposes the SPEM metamodel to describe software processes. Its concepts are described through class diagrams. Unfortunately, it lacks a formal description of its semantics that makes it hard to use. So, we propose a specialization of SPEM that clarifies it and we use OCL to formal...